{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Dynamic Process: Robustness to the Share of Updating Voters (C.2)" ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:42.597524Z", "start_time": "2021-02-09T13:45:36.046941Z" } }, "outputs": [], "source": [ "import numpy as np\n", "import pandas as pd\n", "from matplotlib import pyplot as plt\n", "from poisson_approval import *" ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:42.609297Z", "start_time": "2021-02-09T13:45:42.603312Z" } }, "outputs": [], "source": [ "N_SAMPLES = 10000\n", "N_MAX_EPISODES = 1000" ] }, { "cell_type": "code", "execution_count": 3, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:42.642208Z", "start_time": "2021-02-09T13:45:42.614283Z" } }, "outputs": [], "source": [ "update_ratios = {\n", " '1': 1,\n", " '0.5': 0.5,\n", " 'one_over_log_log_t_plus_fourteen': one_over_log_log_t_plus_fourteen,\n", " 'one_over_log_t_plus_one': one_over_log_t_plus_one,\n", " 'one_over_sqrt_t': one_over_sqrt_t,\n", " 'one_over_t': one_over_t, \n", "}" ] }, { "cell_type": "code", "execution_count": 4, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:42.724481Z", "start_time": "2021-02-09T13:45:42.647194Z" } }, "outputs": [], "source": [ "update_ratios_legend = {\n", " '1': '1', \n", " '0.5': '0.5',\n", " 'one_over_log_log_t_plus_fourteen': '1 / log(log(t + 14))',\n", " 'one_over_log_t_plus_one': '1 / log(t + 1)',\n", " 'one_over_sqrt_t': '1 / sqrt(t)',\n", " 'one_over_t': '1 / t', \n", "}" ] }, { "cell_type": "code", "execution_count": 5, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:42.738719Z", "start_time": "2021-02-09T13:45:42.728675Z" } }, "outputs": [], "source": [ "rand_profile = RandProfileHistogramUniform(n_bins=1)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Convergence Rate" ] }, { "cell_type": "code", "execution_count": 6, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:47.508841Z", "start_time": "2021-02-09T13:45:42.743002Z" } }, "outputs": [ { "data": { "text/html": [ "
\n", "\n", "\n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", "
ApprovalPluralityAnti-plurality
Share of updating voters
10.93901.00.0
0.50.94611.00.0
one_over_log_log_t_plus_fourteen0.94921.00.0
one_over_log_t_plus_one0.94721.00.0
one_over_sqrt_t0.95031.00.0
one_over_t0.05581.00.0
\n", "
" ], "text/plain": [ " Approval Plurality Anti-plurality\n", "Share of updating voters \n", "1 0.9390 1.0 0.0\n", "0.5 0.9461 1.0 0.0\n", "one_over_log_log_t_plus_fourteen 0.9492 1.0 0.0\n", "one_over_log_t_plus_one 0.9472 1.0 0.0\n", "one_over_sqrt_t 0.9503 1.0 0.0\n", "one_over_t 0.0558 1.0 0.0" ] }, "execution_count": 6, "metadata": {}, "output_type": "execute_result" } ], "source": [ "table_cv = pd.DataFrame()\n", "table_cv.index.name = 'Share of updating voters'\n", "d_update_ratio_name_results = {}\n", "for update_ratio_name, update_ratio in update_ratios.items():\n", " results = monte_carlo_fictitious_play(\n", " factory=rand_profile,\n", " n_samples=N_SAMPLES,\n", " n_max_episodes=N_MAX_EPISODES,\n", " voting_rules=VOTING_RULES,\n", " init='random_tau',\n", " ballot_update_ratio=update_ratio,\n", " monte_carlo_settings=[\n", " MCS_N_EPISODES,\n", " MCS_CONVERGES,\n", " ],\n", " file_save='sav/ballot_update_%s.sav' % update_ratio_name,\n", " )\n", " d_update_ratio_name_results[update_ratio_name] = results\n", " for voting_rule in VOTING_RULES:\n", " table_cv.loc[update_ratio_name, voting_rule] = float(results[voting_rule]['mean_converges'])\n", "table_cv" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Convergence Speed" ] }, { "cell_type": "code", "execution_count": 7, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:50.378926Z", "start_time": "2021-02-09T13:45:47.513827Z" } }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAf4AAAEGCAYAAACErvdRAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjMuNCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8QVMy6AAAACXBIWXMAAAsTAAALEwEAmpwYAABbJklEQVR4nO29eZxcVZm4/7y3lt6XpLuzdsjCEkICJCEBEQgBXACRxWWUkXEUFXEdZ9RxGf26jTMo6g8dVAYXGB0FHTZFmaADBEhkSQJBICGQhBCa7EsnvVVX1b3v7497q7q6urq7kq6q3t4H6lP3nnPuOe89XbnvPee8531FVTEMwzAMY3zgDLcAhmEYhmGUDlP8hmEYhjGOMMVvGIZhGOMIU/yGYRiGMY4wxW8YhmEY44jwcAtwpNTX1+txxx033GKMaTo6OqiqqhpuMcY81s/Fx/q4+Fgfl4Z169btU9WmQtQ16hT/5MmTWbt27XCLMaZZuXIly5cvH24xxjzWz8XH+rj4WB+XBhF5pVB12VS/YRiGYYwjTPEbhmEYxjjCFL9hGIZhjCNM8RuGYRjGOMIUv2EYhmGMI0zxG4ZhGMY4omiKX0R+LiJ7ROS5fvJFRH4gIptF5K8isrhYshiGYRiG4VPMEf+twIUD5F8EHB98rgF+XERZDMMwDGPU0d3Zyc5tWwpaZ9Ec+KjqIyIya4AilwG/UFUFHheRehGZqqo7iyWTYRiGYYwmVv7mFzy34g/MmDGjYC5rh9Nz33Tg1YzzliCtj+IXkWvwZwVoampi5cqVpZBv3NLe3m59XAKsn4uP9XHxsT4uLrt27QKgoqKirlB1Dqfilxxpmqugqt4M3Awwd+5cNfeQxcVccJYG6+fiY31cfKyPi8v9L7/AvgLXOZxW/S3AjIzzZmDHMMliGIZhGOOC4VT8vwfeG1j3vw44ZOv7hmEYhlFcijbVLyK3AcuBRhFpAb4CRABU9SbgPuBiYDPQCby/WLIYhmEYhuFTTKv+KwfJV+BjxWrfMAzDMIy+mOc+wzAMwxhHDKdVv2EYhjGK8Cdq808fToZDpsH6J1+ZMsslXW/ogmVhin8ck/ljTCaTJJNJADzPo6Ojo08ZVcXzen6Enuel01OfXNdkHmeeJxIJHCf3pFPmDz/7H8vR/OPJJU9/af3lp84z77u/dgeSOZXf2dnJE088kbPNga7N514HS8+HQjw4h1shtLe38/DDDw+rDGOd9vZ2HnnkkeEWY8yyb++egtdpir/EeJ5HPB4nHo+TSCTS5wCu69Ld3Z3+TqV7nofruuk6MhVLpiIu1EO2s7OTtWvXDqkOVaXXf1nnSU2S1CSa5boh8zytCDPTcpTvk6ZHWD51roOXV5S4FyckoX7bAPBSsnsKroAGHw9UAU/o6uymom2Pf71Khuzie7TQwLGFZn4ETTgQ8tLX9IifukB60lKiZX8nQv5xSHvKpC/y601oAkFwMlYEVXtkJesyPz27/0CUvu0HbjykK4qWJfp48Ei10OsnPdjPOztfwUsmCYVaByzT02Lv+++32RxyOF0VaFn3IALmvv7I/9X2/hskNEFYBniUH2EDgqQ7fvBLBfU8xGnLo2RPhUf7pJLUv5NeNQiSs8ZcrmKyflNZJfOqJfv3f7Tk2QnaMaUw7WUwqOIXEQHeA8xR1a+LyDHAFFV9suDSjAGSySR79+6lq6uLrq4uuru76erqSo+mM1FV4honoQm6ve70cbvXTsJL4OHhqsv+5D7KJIJ6SVSTiBcDdVE3QSjeQajb5WCynQp1cJJKWVcCPA9xPcLd3URjStKBdq+bKi9EeZeHk/RQXMQDcZVQWwKJ+MpMXGWPguMpoiAeTDro0VrtK5TUP2AXxVH/we4EP2IJNJUE6RKkSZA/uRUOVUEI/+M/bh08KQMnihuqQFRQCYE4QAiVEF6oCvGSqDiAE+T534lwLY4mgDCxiqmE3FhQLoSKgzpR4tGJhBNtwXUS5Asq4teDQzJSjeLgeHEEB1HBcxwUAREUh3i0DkFxNfUi5teVKgOOX6cMbj4TAfr+Ko6eXI+joTyiQoMXOTo0Y+oy6CfHjZN6EqZl7vPWQs8DPvtlpd9rB8rr/eTtXXd/eX3fHARQcYlH6imPHSCb/v8GOZ78R/Dy3lvZ5fFLyll37vaOTOb8yx5RvTCE/hiEgtTbn8z5l+3n1aTXWZJ29vYjwdGSz4j/R4AHnA98HWgD7gSWFliWUUsikWD79u20tLSgqsQ0xkH3IK91v0ar20pLvAWApBfnte5tdHpdCNCR8Y81mlCaDsHMPcrUAxBNKjN3QyIMr29RkiFobPMHauAP+Jwj+J0PhieKox5d5QoOeALqBAPVQIdNOQidtSkN7+e5CBIqIxadjOdE6Y5OBpREuB43VIaKEItOw/HidJU1s9/rAI3QHZ0ACJ5EQAqvYkJeB6IugougeISIVzQS8doQPPyXk+AbBTwiHCbh1BDxOhBN4Hiptxp/mC54VCeVbqeWSndPTz3BcDy7PgmOXcqI6mEQD0c9/F7zgvQ2UsN5yfhOjWv6pnt4hAlrzE+TnnIpJdQjT+qNKys9/WDxcIIXmJ409Ud8GQ+fkGjvMj0aNOM083p6lweQVL0DIb2rl6zm+pzkriKziNvhEqqJZBXqPVrslZPVZqpk6sU1fZ5116k/g5YNINjAYvetLwvNSO3bR0fxipdu7OheD1N/0aTrEgr1/jccdduJhWt7SZX9uOpP5t6vbEMbXR+hysb1IPfqYz4q+sjlYMAe8mlNCns7KvJsKT/yUfxnqOpiEXkaQFUPiki0oFKMUlzXZfPmzezYuYPfHfwdz3c9z67Ern7Ln9AdZ5oqCREmJVzO3OIy6cUwzZtz/xk0LEhS8SYHo+FjKglFwjgVDm6khmQojAioF8abUA/hMBoKQcLFmzgBDUcgHMILRfEqKtFwCHUiEA7jRaJ4ZeV40UoIhXv9429ra6OmpqaXLF5SOXgIDr+mdB9SEp3QfRi8QQYaEgIn7JcrrwPPbaSsBqIhwY0rZbWCiF8mXOGXi1RKamCOOAT3CKEoPenSO18cvw4JgRMSoDZ3n+oEPMX/AJ7nf7seJFVJeuDp9KCM9pRV6EoqjoCrcEjn4nn+safQ2u1RERY0qFeDdH+Zw/8n7aXToLVbcdw4ZWXRXvmp48x6UudJVQ50KXVlkk5LDU5TY2gvSEhfl5mfkaYKezo9JpRLWibV3O323I+yp1OZUJ6lLLMH4RnpfcfHPQX7jLtV+6Zl1E9WXmZ637pSxwoIicLbRxlGSahPtPJ3HbcVtM58FH9CREIE/45EpIme58y4JZlM8siqR/j+ru+ztXtrOj0iEZaGmjl791PMTCQ4NpGgwfUoV2Vf4xkcermc7vs2I+oQ+DMCIDF7Nt0LF+I2TCR5zDG4DQ0QLq4JhqriKrguuKokPaUrCYc6YX/MpWOboi2g3T1ra5m4USVZB4lKJRmB7krlQFyJVvnL2kkB1+lRgillujelvDIUjZcEPew/+LWjR0F6gYKqD5RdZnq2cvLTlL2dSk20p7yriutBzO1zC8OMAAkEcIKRqgQvNU7qmJ5zgLjn33NttGe85Ejvb/+aID/j2sz6ACrCwv4upbHCSec50rfdnnOHadX+b6S+TNL1ZP4yJKOt7LTMEXz2r6mnLsmRlmddWeUFiMfjRKMRRPyXrcbylNzSqy/6HAcHmfeTWW/6PNU3QW63q0RCUOZIL8El6zvnbEZ22RyZA+flMWOSdf2RtJ9r5kWA9s4uKisqiIZy/F2zhBisH/r7XeQrm2Sc9P8byy2jiP98iji5f9vZ7fatp+/JYL/dvtf2yJIicaibrf9DQclHs/wAuBuYJCLfBN4BfKmwYowukskk//nn/+SmPTel044rO44PNX2Ac5/6AlUdD6fTd025gKfn/B288Cr1N/4Y6Pkjd51zDl3nnE3ymGMGnG5TVeIeJFzoSCgJT2mP+yPQhAe7Oz0iDnQmlD1dSjQE8SS81u5RGRFebXOpjgiuQtLzH4C5iChc1BllbqKSeIakAmwOu+wKe+wJebwc9vAyxe0KPoeD8wMQkh4l4pBxHCikw3GlqUJ6KRpHpJeyST07qyPC3i5lSpXT66GbWX9PmsMxtXCo22NypYMjEHb8dkICbXFf0YUc//pUul+PEHOV+jLJyOs5FvFnBqojQX1Oz30ClIUkLXPPfWXfY89xV0c7dbW9Z1aMwtLWFqempt/5d6MAtLVBTc3YshOXo1z+KEZ9XV2FXwod9K+lqr8SkXXABfjPq8tVdWPBJRlF/PqxX6eVfnO0mX+c8o+USZQlT36Mqk5/Pf+ZU79B68RTAaj5xS+pWL06ff3mz3+ZF8on46mSVNj1kq9m93YqEQdePuyxp8OjIiIkPaUjcWTyRRyoK/MVbLerzKoNEUsqU6t9hRcWoS2uTKsWQiLUHBTqdgrRjp4fp0YUnQrubKipEE6REIucUKDohPKQvxbmIL4SxT8PBYrW6CH1jz77H3+30GdttFioKiKS17a/fHeHHMnDbDgepCKCiBAOh3P+DTLTUp+htJdZ11DlPpq6863/aMnuw9R3V1cXkyZN6tN+Pse5zgdq+2jyB2q7P3n622Z8NLINtY7De6p5dsgt9CYfq/7XAc+r6g+D8xoROUNVnxjk0jHJhtc2cP3W6wG4pP4SLqy/EICTnvv3tNL/rwX/zZa2Cvbu7uKi229k0q4tAPzr0veyevop8AJALGf95SFfaVdEhOnVDlOrHMKOP2U9udJfq5xQLpSFhJBAQ4UQcYTqqBB1IOzk90PsOqC8+hePeNYunNpjhPoFHdTW5T8SzX4gFfLhk0sJ5buvP9eDPZXmOA6hUKhPmdSx4zi9rkmdZ9eXekCEQqGcSjx1jed5aQWU+jz33HPMnTu3T9l85M8+zlVHPg/bXEqvv7Rc9Yx0Vq5cyVlnnTXcYoxp9uzZw7x584ZbjDFL+ZHsVsiTfOZnfgwszjjvyJE2brj6oasBOL/2fC6svxDXUw6++ChNex8DYFn3/8f2tQ7QzUefuYvjA6X/1bd9kYaZk3mDB00VQnlYOLbeIeoIYcdfMw0NYaScUkKpkR30ONjJxE0oL/3RI9nVkxatgRmvd6iY6F/XlvEyUFZWRkVFBWVlZWllkHmc65OtNLOVZEre1HeukUy2oslWvJnX5joeDbzwwgs0NTUNtxiGYYwz8lH8ohnaQ1U9kYG8RYxdnnztSTpc36Pd5ROu4Cd/jbHqtSQvlH0fBD7ofo7qidN4a73DEm8fp9/zFwD2fes6Plpfn7PO/pRVpmMe8EeUkUiEcDhMKBTCcRwcx6GsrIxQKITneVRVVREODAIjkQiO4xCJRIhEInR3d/PIijVs/XNPvdPPECbM6TulFQ6HWbp0KZWVlUfXUYZhGMaIJR8FvlVEPok/ygf4KLB1gPJjli+u+iIAH278OO9f4b8AnCTbKJcEiVAlf3dez5Riw7/43dX2rnfhZSj9aDSaVtoVFRXU1tbiOA6u61JWVpZW5JFIhLKysiNaa+qPgwcP8ugf1vPqav/9rbIRZr/B6fWyUVlZSXNzM5MmTeLRRx81pW8YhjFGyUfxX4tv2f8l/J1EDwDXFFOokciB2AF2x3YD8J1Hp6fTf914K7TBxgWfS6eF9uwhtG8fAF3Lz6WsrIyFCxdSXl5eUpnB385033+up3Wbr/QnnSxMWtDzMjF79mymTZuWnikwDMMwxjb5WPXvAd5dAllGNE/veRoAp/VcwDes++mbKql/+EUADk5cxKxZs2hubmbrRz9GEmj72yvBcVi6dGnJrLczUVXu/enjaaU/4/VC3Uxf6R9zzDHMmjVr1KyHG4ZhGIUhH6v+JuBDwKzM8qp6dfHEGnnctN7fvtd2YBEAN7+piqb9jwPQ0vxWysrKOOaYY8B1SQbRwLrOOYf58+cPm9J/9P617Pqr71rv+Lc4lNX6Sn7x4sV9PPMZhmEY44N85nd/BzwK/B8w4nyflYq9nX6YBK97Mt88u4KwI8xuXwfArqlvYPbs2YgIe+++G4DY0iWEo1EaGhqGRd5Nz23l2Xt88/wpiySt9E8//XQqKgrr99kwDMMYPeSj+CtV9XODFxu7bD+8nf3d+3Fj06gvc2iuCTF9+nTK1vl+jLoqpqa3Ze3/yU8BaH/b25gzTFPpbYfbeeCHrwBQPQ0aT/St/4drycEwDMMYOeRjMv4HEbm46JKMYNoT7QAkDr6O98wro7KykmNnzyR8+FX2TDqbusap/h76eBzdvh0Ab8IEJk+eXHJZVZU7r18L+EFtZp3rK/olS5aY0jcMwzDyUvz/gK/8YyJyWETaROTwoFeNIe7dci8AXrKakxpCnHTSScgr/h59x0ukFXzr/X8CoPO882hsahoWS/mtz+2kY6+/V3/uZf6fd9GiRWa1bxiGYQD5WfWPeyuwA10HADi2bA5NdZVUVVWB6/vXf3XGFZwcrOMf+MUvAOg6/zzmTJtWcjk9z2PFD18AYMZZghMW5s2bR21t7hC1hmEYxvhj0BG/+FwlIl8OzmeIyOnFF23kcKA9hhdvAK+SaSmFvvr7AHhOJD2aju/29/l7jY3U9+Opr5g8+js/lIOEoO4Yh2nTpqWDZxiGYRgG5DfV/yPgTOBvg/N24IdFk2gEsm7/KkC5aHY0rfjdID59uNnf3hfb9CLs2UP3gvk0TZlScqO+RDzJc/fvB2D2+b5XvuOOO66kMhiGYRgjn3wWfs9Q1cUi8jSAqh4UkWiR5RoxHIwdJKFxcLoJO6Rd6OrBbRyqPZEJDb41/76f/ASA7iVLmN7YWHI5V9/tT/FXT4XKRmHRokXmnMcwDMPoQz4j/oSIhPDd9aYc+ngDXzJ28NS/1fi+N7BoWpWf2Lqd8OHthNyu9J74rj17AOhetKjkEddUlecf8tuf8XqHyspKc9BjGIZh5CQfxf8D4G5gkoh8E1gF/FtRpRqBVEeEhgl1/km37xhn17Q30dDQgNveQfLJJ0nMnEm0rq7ksr3yvB8XIFoNoahw8sknl1wGwzAMY3Qw4FS/iDjAy8A/AxcAAlyuqhtLINuI4Lm9LwEQd7XPKLo76lvzJ3fvAsBtamLGjBmlFRDY+oxvVDjjLN+gbziCARmGYRijgwEVv6p6IvJdVT0TeKFEMo0oHm15BIAlE5t7pvBffjSdLyK0P+qfdy9cyJQpU0ou48ZH/Wn+sjqG5cXDMAzDGD3kM9X/JxF5u4xTS7FDXUnUCzMzkmEhv3M9AKHpp/iKf6P/TpSYXXoXvbtfOQRARSPU1dfaaN8wDMMYkHys+v8JqAKSIhLDn+5XVR0XXmG27fPd9U6vdohEIkGqECufRLx6BqpK5+9+h1tbS9P8+Wmr/1LxzAO+i+DGuQ4zZ84saduGYRjG6COfNf4LVXV1ieQZccTcwyAu8ydF00rdU03nex2dwyUaADu3tgJQPQXfo6BhGIZhDMCAw1NV9YDvHG3lInKhiGwSkc0i8vkc+XUicq+IPCMiz4vI+4+2rWKxLfEwItorLR7vBmDWrFnptM43vbHk6+utuztp35egegpUVJfZNL9hGIYxKEVb4w/2/v8QuAg4CbhSRE7KKvYxYIOqngosB747Ep0Due1ze1zfJuOUv3AX4iWIRqMc+t09fnooVPLod6+9eBCA6qnS6yXEMAzDMPqjmGv8pwObVXUrgIjcDlwGbMgoo0BN8FJRDRwAkkd2C8VF1cGNTevZyhf31/zbq+f4nbLfD+ATO+MMysrKSirbhsdaAF/xl9ppkGEYhjE6KWZ0vunAqxnnLcAZWWVuBH4P7ABqgHcFywu9EJFrgGsAmpqaWLly5VGKdHSERdmwYQObNm0inGjjbGBn1Unsfewxql5+mRqgTZWHH364ZDJ5SWXPViVc6ZFwOlm1alXB6m5vby95H49HrJ+Lj/Vx8bE+Li6x1gMFr3NQxS8iy3Klq+ojg12a67Ks8zcD64HzgWOBP4vIo6p6OKutm4GbAebOnavLly8fTOzCcSvMqg+xdOlSP7xt5wFYDeXl5Zxzzjm89JGPAnDsscdy4oknlkys7c/vZyPPUDHBYcGCBQWd6l+5ciUl7eNxivVz8bE+Lj7Wx8XlwI7XeP62nxe0znym+j+bcVyOP4W/Dl9ZD0QLkGnt1ow/ss/k/cB1qqrAZhF5GTgReDIPuUpKrvX7cDgMZVGS9ROYUWLHPZue3AlA44kODQ0NJW3bMAzDGL3kM9X/1sxzEZkBfDuPutcAx4vIbOA14N30hPZNsR3fFfCjIjIZmAtszaPukvD8vucR8Vce0lvlPLdXGXVCxBcsKLVo7NzcihOBqkli2/gMwzCMvMlnxJ9NCzCoplPVpIh8HLgfCAE/V9XnReTaIP8m4BvArSLyLP7SwOdUdd9RyFQU/u9lf+KhzpvTk7jWn3LRSCVdzz2PdHUBWlLDPjfh0bY/Dvg2D6V2GmQYhmGMXvJZ4/8PetbmHWAh8Ew+lavqfcB9WWk3ZRzvAN6Up6wlZ8se34J/XlWGRzzXV7h7p55P40Z/g0L8hBPS4XlLwWsv+dv4Jp0sPdsMDcMwDCMP8hnxr804TgK3jTdPfnMn9u4mFQdPwqjnLwMkS+wqt+Wl/QDUTJOSvnAYhmEYo598FP8dQExVXfAd84hIpaoOr6/aYaaqqoq2Bx8CIBotrc+hZx/0bSSrGkKm+A3DMIwjIp/F4QeATO1SAfxfccQZWXiub8hXnrF+n1rzaGhoIPHyywDMLLFxn3qKhKCqusrW9w3DMIwjIh+tUa6q7amT4LiyeCKNHB5r/S0AdbV16bREwl/jj0ajqOMQO+00pISGfQd2duAmlAlzzE2vYRiGceTko/g7RGRx6kRETgO6iifSyKE7EUK9EA2V9em0yJM/RtSjoqKCZNL3LnyEYQyGxM4trQBUTCQjTLBhGIZh5Ec+a/yfAv5HRFLOd6YC7yqaRCMIB6GieyEVkYz3I/VIhKv9af6WFmhqorGxsWQyvfCY77hnQnNZT/wAwzDGBIlEgpaWFmKx2HCLkjd1dXVs3LhxuMUYM5SXl9Pc3FzUgV0+DnzWiMiJ+M51BHhBVRNFk2iEURYS30NfilCEXVPfSHSnr4Dj8+aVdJ2987D/QAhXZHs/NgxjtNPS0kJNTQ2zZs0q6UziUGhra7NBSIFQVfbv309LSwuzZ88uWjuDaiwR+RhQparPqeqzQLWIfLRoEo1ApuRwx5tS9sljZvTJKxaJbpfDe+PUNsOcY+cMfoFhGKOKWCxGQ0PDqFH6RmERERoaGoo+45PPUPVDqtqaOlHVg8CHiibRCCI1ps70yqdBYjRR+ujBu7YeAkDCWbMQhmGMGUzpj29K8ffPR/E7kiGJiISA0m5cHwY64jEIH+w3/8AvfgHAtCJOx/QheOmYeJyU1K7AMIzxw9VXX82kSZNYMAwxSIzSkI/ivx/4rYhcICLnA7cBK4or1vDz83V/AkDxsnJ87RuqrsKrqEBK6LXvuUdeA3xDCxsVGIZRDN73vvexYsWYf8SPa/KZL/4c8GHgI/g650/AT4sp1EggluwG4NLGjOjDnovjdqdPk9OmllQBd3X66z7NJzSVrE3DMMYXy5YtY9u2bcMthlFE8rHq90TkZ8Aq/OHuppT73vGAkzkp8tydgO+rPx73NzbU19eXRA71lJ0vtlExEWrrqkvSpmEYw8fX7n2eDTsOF7TOk6bV8pW3zi9oncboIx+r/uXAS8CNwI+AF0VkWXHFGqF0+/8Id05+A4m1axGlZNtYWvf4oRFUSx8bwDAMwxg75DPV/13gTaq6CUBETsBf5z+tmIKNFHJN5es+/wVAS7h/P7WboGmeheI1jPGAjcyNYpGP5oqklD6Aqr4IjHlfsSlFm0vxC35a1wXn98krFs8Hhn2ImGGfYRiGcdTko/jXisjPRGR58PkJsK7Ygg03j7/sx7zPtV++trY2fVwqJRzr8oMDTZwZtYh8hmEUjSuvvJIzzzyTTZs20dzczM9+9rPhFskoMPlM9X8E+BjwSXyr/kfw1/rHNDuTqyEMMyZWDViuVIp/7/Y2wuXQ0DShJO0ZhjE+ue2224ZbBKPI5GPV3w18L/iMG5LSBkBzZY+7XtfzCAHyxFoUqKoqjXV9Mu5ycEcX4kBFRUVJ2jQMwzDGJjZnPABl8eOoivaM+GXD7wGItgcW9vNOLIkcnusbHDSeKEyePLkkbRqGYRhjE1P8g1BXV5c+lkOv+AehCG7DRMjIKyZ7X/VnH0JlgxQ0DMMwjEHoV/GLyC+D738onTgjj6lTp6aPVULsnnwuGnRbKBQqiQwtL/gxAyobpVfAIMMwDMM4UgYa8Z8mIjOBq0VkgohMzPyUSsDhQoP9fL2M94Itfsl4HBRmzZpVElkSSd9L4ITp5WbRbxiGYQyJgYz7bsIPxjMHf/tepvm6BuljEtdTOuIuVeHeSlZRNOnhPfQQ1NaWbMT/3EM7AWy0bxiGYQyZfoePqvoDVZ0H/FxV56jq7IzPmFX6ABt3Bp75tG+eJv3E5JzSheNVVZwwzJgxo2RtGoYxflmxYgVz587luOOO47rrruuTv3LlSurq6li4cCFnnXUWX//614dBSuNoyWc730dE5FTgnCDpEVX9a3HFGl6SXmBFX9H/tHp87tySyKKqeEmlYa7kdCZkGIZRSFzX5WMf+xh//vOfaW5uZunSpVx66aWcdNJJvcqdc845/OEPf6Ctra1kMUuMwpBPkJ5PAr8CJgWfX4nIJ4ot2HASd7sJV77SJ91zewclLIUi3vLU3pK2ZxjG+ObJJ5/kuOOOY86cOUSjUd797nfzu9/9brjFMgpIPprkg8AZqtoBICLfAh4D/qOYgg0nr3ZsASCcGZIgESPS9irUzUwnlUIRd3X4rnonHCtUV1s4XsMYN/zv52HXs4Wtc8rJcFHfqftMXnvttV7Lis3NzTzxxBN9yj322GOceuqpTJo0iRtuuIH58y2o0GghH80lQOZQ16W3od+YZV7krJ6TbasASGz3nfeUyrp+5+ZWAMoqx3xcJMMwRgCaw7gp2zX54sWLeeWVV6iuruaOO+7g8ssv56WXXiqViMYQyUfx3wI8ISJ3B+eXA+MvaoPnb6lrjc8kwi4SCxaUpNldWw4BMGGiraEZxrhikJF5sWhububVV19Nn7e0tDBt2rReZTIDlb35zW/mM5/5DPv27aOxsbFkchpHz6DDVlX9HvB+4ABwEHi/qt5QZLlGMII6Dt6UKYMXLQCeutQ2w5Tp5qrXMIzis3TpUl566SVefvll4vE4t99+O5deemmvMrt27UrPDKxduxbP82hoaBgOcY2jIK9FalV9CniqyLKMGJ7cun/QMrmmwwpNx6FuOg4kqa0aFysrhmGMAMLhMDfeeCNvfvObcV2Xq6++mvnz53PTTTcBcO2113LHHXfw4x//mHA4TDQa5fbbby9ZpFJj6BTVOk1ELgS+D4SAn6pqn7krEVkO3ABEgH2qem4xZcqHHYdiAEyq7PtDTq3tH3PMMUWXY9+r7QCU1cDEiWPeWaJhGCOEiy++mIsvvrhX2rXXXps+/vjHP87HP/5xANvONwopmuIXkRDwQ+CNQAuwRkR+r6obMsrUAz8CLlTV7SIyqVjyHA3VkRwrIfsOIp5XUgv7mulCJGLGfYZhGMbQKaZp+unAZlXdqqpx4HbgsqwyfwvcparbAVR1TxHlyZskHQA4ob7dE3p6o/9dAne9L63ZXfQ2DMMwjPFFvyN+EWkjHZamL6pa219ewHTg1YzzFuCMrDInABERWQnUAN9X1V8MUm/R2eE9AEBDdQ5jFUeILVxUEjk6DnUDcOx8c9VrGIZhFIZ+Fb+q1gCIyNeBXcAv8ffvvwdfSQ9GLkuP7BeJMHAacAFQATwmIo+r6ou9KhK5BrgGoKmpiZUrV+bR/NGT6FaIhKlqrUq3teipr1EHaChEV20Na9euLfqo/8ABl7IJHtu2b2HHrlcHv6BAtLe3F72PDevnUjDa+riuro62trbhFuOIcF131Mk80onFYunfbaz1QMHrz2eN/82qmjlS/7GIPAF8e5DrWoDMoWozsCNHmX2BV8AOEXkEOBXopfhV9WbgZoC5c+fq8uXL8xD76Cnf/kva4xNobm7mlFNO8RNfboDDgDhEo1GWLltW1HX3RNzl+dsfpqIxxPz5c5k+fXrR2spm5cqVFLuPDevnUjDa+njjxo2jzlDOjPsKT3l5OYsW+TPLB3a8xvO3/byg9eezxu+KyHtEJCQijoi8h96e/PpjDXC8iMwWkSjwbuD3WWV+B5wjImERqcRfCth4JDdQDNzAJ399fX2v9Nb6Hqc9xTa2O7SnC4BwGUydOrWobRmGYRjjh3wU/98CfwPsBvYA7wzSBkRVk8DHgfvxlflvVfV5EblWRK4NymwEVgB/BZ7E3/L33NHcSKGIJVx2t/te+rLfYuM7E0g8jpRgD3+K+tmlcQ1sGIYBcPXVVzNp0iQWDOKddOfOnbzpTW/qkz7UHU/veMc72Lp1KwCzZs1i3759R13Xpz71KR555BEAbrjhBjo7O4ckG8D+/fs577zzqK6uTm9pzObSSy/t1X833ngjt9xyS/r8M5/5DA8++OCQZTla8vHct01VL1PVxuBzuapuy6dyVb1PVU9Q1WNV9ZtB2k2qelNGmetV9SRVXTASPAK2dvpKP5zDGUXigD8T0F2CYBRbnu7Z4GCOMQzDKBXve9/7WLFixaDlVqxYwZvf/OaCtv3888/jui5z5swZcl0HDhzg8ccfZ9myZUD+in/WrFkD5peXl/ONb3yD73znOznz77rrrj4vP1dffTU/+MEP0uef+MQnuO664XHJDPmF5W0WkbtFZI+I7BaRO0WkuRTCDSflA1g/JEuw3n54nz/VP3l2jSl+wzBKxrJly/JyGLZixQouuuiifvNVlc9+9rMsWLCAk08+md/85jcAeJ7HRz/6UebPn88ll1zCxRdfzB133AHAr371Ky67LHvXt8/3vvc9FixYwIIFC7jhhhvS6d/4xjc48cQTeeMb38iVV16ZVsh33HEHF154IQA/+MEP2LFjB+eddx7nnXdeXv3QH1VVVZx99tmUl5f3yWtvb+d73/seX/rSl3qlV1ZWMmvWLJ588kkAZs6cyf79+9m1a9eQZDla8g3S82v8KX6Aq4K0NxZLqJHCcDrN6eqIEamE2omVwyaDYRjDx7ee/BYvHHihoHWeOPFEPnf654Zcj+u6bNq0iZNOOqlfi/677rqL9evX88wzz7Bv3z6WLl3KsmXLWL16Ndu2bePZZ59lz549zJs3j6uvvhqA1atXc+WVV/apa926ddxyyy088cQTqCpnnHEG5557Lq7rcuedd/L000+TTCZZvHgxp512Wrqud7zjHQB88pOf5Hvf+x4PPfRQUQMJffnLX+bTn/40lZV9n9tLlizh0Ucf5fTTTwf8CIerV6/m7W9/e9Hk6Y98FpCbVPUWVU0Gn1uBpiLLNWy46hKp/SuKEo1G0+meeunjhiK7z00mXF597hCe6/vNNgzDGEk88cQTnHFGtluW3qxatYorr7ySUCjE5MmTOffcc1mzZg2rVq3ine98J47jMGXKlF4j8J07d9LU1Fe9rFq1iiuuuIKqqiqqq6t529vexqOPPsqqVau47LLLqKiooKamhre+9a2D1pWLj33sYyxcuJCFCxeyY8eO9PE3v/nNPHsE1q9fz+bNm7niiity5k+aNIkdO3b0e15K8tEq+0TkKuC24PxKYPAoNqOUgzH/1kL0Hu0n4on0cVlZWVFlSMb9l4zqKUJz85hfVTEMIweFGJkXi//93/9NT6P3R3+BzAYKcFZRUUEsFitqXbn44Q9/mD6eNWsW69evz+u6TB577DHWrVvHrFmzSCaT7Nmzh+XLl/fsx4/FqKioSJfPPi8l+Yz4r8a36t8VfN4RpI1pjpWze07adlG2aw0dz/jr7sX2079r6yEAKhvMsM8wjJHHAw88wAUXXDBgmWXLlvGb3/wG13XZu3cvjzzyCKeffjpnn302d955J57nsXv37l4OlubNm8fmzZtz1nXPPffQ2dlJR0cHd999N+eccw5nn3029957L7FYjPb2dv74xz/2W1dNTU1RHQ195CMfYceOHWzbto1Vq1Zxwgkn9Lq3F198sZelf/Z5KcnHqn+7ql6qqk3B53JVfaUUwg03aaXb5htgeI4/9S8TJhS13R2bWwGobBKb6jcMo6RceeWVnHnmmWzatInm5mZ+9rOf9crfu3cv5eXl1NYO7LX9iiuu4JRTTuHUU0/l/PPP59vf/jZTpkzh7W9/O83NzSxYsIAPf/jDnHHGGdTV1QHwlre8JaenxcWLF/O+972P008/nTPOOIMPfvCDLFq0iKVLl3LppZdy6qmn8ra3vY0lS5b0W9c111zDRRddNGTjPvBnBf7pn/6JW2+9lebmZjZs2DDoNatXr+YNb3gDAIlEgs2bN7NkyZIhy3JUqOqAH3yPe3fj7+HfDdwJNA92XbE+J5xwghaTv+7cpgtuXaDv/a+v9yS+9rTqV2r1+dcv1af+7u909+7dRZXhwV89pzd++AFds2ZNUdvpj4ceemhY2h1vWD8Xn9HWxxs2bBhuEQbll7/8pf77v/97+vzw4cNHXEdbW5uqqu7bt0/nzJmjO3fuVFXVzs5OPeOMMzSZTB5xXR0dHXraaafpunXr0nlnnXWWHjx48IjlKzRPPfWUXnXVVenzu+66S7/0pS/1Wz7zd7D/tRb9zt+8RQPdVxA9alb9WdyxrgWAHIH50hTb2n/DI35UPhvtG4Yx0rjqqquGXMcll1xCa2sr8XicL3/5y0yZMgXw1+W/9rWv8dprr3HMMcfkVdc111zDhg0biMVi/P3f/z2LFy9O5333u99l+/btfbywlpp9+/bxjW98I32eTCb59Kc/PWzy5KNZmlT1lozzW0XkU0WSZ9hJJH1jkVm1/Wv+CUWe6kegYoK/19MwDGOsMVDgpCN1CvTrX/+637zBdh6Uije+sfc4+Z3vfGc/JUtDPsZ9+0TkqsBXfyiw8B+zVv0pws7wGNXtfbUNFKomCY5j7noNwzCMwnKkVv07GSdW/b1IdBFvCyH726DIfvp3vOSHYKxskqJvGzQMwzDGH4NO9avqduDSEsgyImjzfIcKvUbbT/yY7sN+VyVmzS5q+5ue8Nf3JzaX53QJaRiGYRhDYVDFLyJNwIeAWZnlVXVMjvpfi68FYEp0Sk9iqGfknTj+uKK233HIdzjhREoXAdAwDMMYP+Qz1f87oA74P+CPGZ8xieCgXpTjK47vlR6PFtmgD4h3JelsTVI3U5hz7NCjUxmGYRwpIyks77/9278Nqa4UL7zwAmeeeSZlZWW9ourF43GWLVtGMpksSDujhXwUf6Wqfk5Vf6uqd6Y+RZdsmHBdP/Rutse89i3++fQiRubb8VIrAKEIhEKhorVjGIbRHyMpLG8+in/btm0sX758wDITJ07kBz/4AZ/5zGd6pUejUS644IJ05MDxQj6K/w8icnHRJRkhbNzVDkqvsJQKuIHLZ2fGjKK1He/23zonHCs0NDQUrR3DMIz+GClheT//+c/T1dXFwoULec973jOke5o0aRJLly7N6YPl8ssv51e/+tWQ6h9t9LvGLyJt+DpPgC+KSDeQCM5VVQf21ziKEekdiKe7uxuA+AnHU13EoApr73sZACcs5qPfMMY5u/7t3+jeWNiwvGXzTmTKF7845HpKEZb3uuuu48YbbzyqgDlHwoIFC1izZk1R2xhp9Kv4VbWmlIKMJEKZSjcZp/zF34FOBYrnTU9VObirCycMM0+YMvgFhmEYw0Spw/Lm4oorruDll18mHo+zfft2Fi5cCMA//MM/8P73vz/vewmFQkSjUdra2qipGR9qb6AR/4mq+oKILM6Vr6pPFU+s4Se9nS/mR8pTx58iSrmWLDQHdnaAQrQaKisri9KGYRijh0KMzItFqcPy5uLuu+8G/DX+973vfQN6AxyM7u7ucbV9eqA1/pQj4e/m+Hynv4vGCpnKN9ntEN+ZBE+LNgXfts//sTfNd9LRpQzDMEYipQrLG4lESCQSxboNAPbv309TU1PRY7CMJAaa6v9Q8D30GIajiGjDKjwN9Xr7S3T4FvbJ6dOK1u6zj2wHIFLBoOEuDcMwisWVV17JypUr2bdvH83NzXzta1/jAx/4QDr/SMLyPvbYY5x66qmISK+wvA888AALFizghBNOyBmWNxW+9pprruGUU05h8eLFQzLA27VrF0uWLOHw4cM4jsMNN9zAhg0bqK2t5aGHHuLii8eN/Tow8FT/2wa6UFXvKrw4I4MIuafa4/PnF6U9VWX7c604EWiaNbQ9sIZhGEPhtttuGzD//vvvz7l/P0V7ezvgb4m+/vrruf7663vlO47Dd77zHaqrq9m/fz+nn346J598MuDv4T/vvPP42te+RigU4lvf+hbf+ta3BpRn1qxZg07zT5kyhZaWlpx5v/71r/n3f//3Aa8fawxkqfbWAfIUGHOK/6XdvnXqNO91PYltO4veblebP5XlhG20bxjGyGakheUdCvF4nMsvv5y5c+cWva2RxEBT/fmbRY4RHn5xLwD1ZU6PA51n/4eufVGAoll87traCkDTfNu/bxjG2KeQYXmHQjQa5b3vfW/J2hspDOrAR0Qmi8jPROR/g/OTROQDg103mmmskB7jPhG69gVGH0Xy2vfKRv+Fo7JBhuzu0jAMwzAGIh/PfbcC9wMpy7YXgU8VSZ4RiToOyaYmmFYc474NDwcR+aZXEo1Gi9KGYRiGYUB+ir9RVX8LeACqmgTcoko1guiOx4tav5vwAH//fnl5uXnsMwzDMIpKPoq/Q0Qa8A36EJHXAYeKKtUIIrr2ZjQOosrMmTMLXv+Gv7wGQP0sYUYR4wAYhmEYBuSn+P8J+D1wrIisBn4BfKKoUg0TL7X/BQChZ9StCY/2HeWQSBRlGv75Vb7in3i8jCvPUYZhjEyGGpZ3KKxfv5777ruvV9o999zD17/+9fTxhg0b0nmf+cxnePDBBwsqw3ggH8V/ADgXeD3wYWA+UDbgFaOUw8k9ACyqWJJOc11/40N8kH8ER93m3i4AqmrLqShiACDDMIx8GK6wvMlkMqfi//a3v81HP/pRoK/i/8QnPsF1111XMBnGC/lEnLkTuFRVnwcQkWXAD4GTiynYcBCL+2Fxa0I92/ZEfXOG5DGFn4bfsfkgiZhSN1OY2DB4GEzDMIxis2zZMrZt2zZouRUrVvCVr3ylV1pHRwd/8zd/Q0tLC67r8uUvf5l3vetdrFixgk996lM0NjayePFitm7dyh/+8Ae++tWvsmPHDrZt20ZjYyOrVq2iq6uLVatW8YUvfIFFixZRVlZGY2Mjf/nLX/j973/Pww8/zL/+679y5513cuyxx7J//3527dpVtDgqY5F8FP+1wD0i8lZgMfBvwJj0b/jY1gNEJkEqPg8b7+2VX+jIfKvv2gRA3TGSV/xrwzDGD4/+9kX2vdpe0DobZ1Rzzt+cMOR6+gvLu2LFCqZNm8Yf//hHAA4dOkQsFuNDH/oQDz74IMcddxzvete7etW1bt06Vq1aRUVFBbfeeitr167lxhtvBOCWW25h8WI/TtzrX/96Lr30Ui655BLe8Y53pK9fvHgxq1ev5u1vf/uQ72u8MOhUv6quAT4J/An4KvBGVX21yHINC+UR32lP08R6P+HwDjoD5z2hcLjHqU8B6GqPs2drJwDVUzHHPYZhjBr6C8t78skn83//93987nOf49FHH6Wuro4XXniB2bNnc/zxxyMifTz/XXrppf0uc+YTpnfSpEns2LHj6G9mHDKQr/57CSz5Ayrxrfl/JiKo6qWDVS4iFwLfB0LAT1U152KMiCwFHgfepap3HIH8BcWR3vsUk8lk2mtf8vjjC9rW5vW7AN+or7qmyrbxGYbRi0KMzItFf2F5TzjhBNatW8d9993HF77wBd70pjdx6aWXDvh8q6qq6jevoqKCQ4cG3kQWi8XMPuoIGWjuekihd0UkhG8L8EagBVgjIr9X1Q05yn0L30nQsKLBe05Ntb/G7zz9XwiKRsJ4Bd5q9/hdWwGYMEdK4pPaMAyjUDzwwAN89rOf7ZO+Y8cOJk6cyFVXXUV1dTW33nor//zP/8zLL7/Mli1bOPbYYwcMAlRTU9Nr6WDevHn893//d7/5AC+++CLvfOc7C3BX44d+p/pV9eGBPnnUfTqwWVW3qmocuB24LEe5T+AbEO45qjsoIMm6/wWgrtYPEamxw0GO4HlewdppO9hJvNNDHKiYKEyePLlgdRuGYQyFK6+8kjPPPJNNmzbR3NzMz372s175A4XlffbZZzn99NNZuHAh3/zmN/nSl75EeXk5N998M295y1s4++yzB/SHct5557FhwwYWLlzIb37zG5YtW8bTTz+Nqj8oe/e7383111/PokWL2LJlC4lEgs2bN7NkyZJ+6zT6MtBU/ypVPVtE2ug95S+AqupgYeSmA5m2AC1Ar0UhEZkOXAGcDywdQJZrgGsAmpqaBg3BeNS4FYQcj03PbWLLxpdY3r6TQ8kTINlBLBYrWLstjycBhwnz48RiUrz7OUra29tHnExjEevn4jPa+riurq7PiLbU3HzzzX3SMmW65557OPfcc9Npruumj1//+tezevXqPteeddZZrFmzBoBHH32U9evX09bWxqc//ele9UcikV778l3XZdmyZdx7772cd955nHLKKTzxxBPp/P/5n//hrW99K11dXYW49RFDpr6JtR4oeP0DRec7O/g+2pB0uRZ1NOv8BuBzquoOtAakqjcDNwPMnTtXly9ffpQiDcIWh/rkPBYuXEjjob8CkNzcjgBLly4tSMhc13W56XZ/wmTKvHIWLV5IfX39kOstJCtXrqRofWyksX4uPqOtjzdu3Fi0KKCF4kMf+lCv87a2tiOSubKyknA4nPc1X/3qV3niiSdylo9EInzxi18c8X12pJSXl7No0SIADux4jedv+3lB6x9oxD/g/jJVHew1pAXIXBhvBrJNL5cAtwdKvxG4WESSqnrPIHUXnE272vDUX+UvLy9Hdx9Ov7nETltcsHbu+y//bbVmOpSVR6mrqytY3YZhGCOd5cuXH9HL2OTJk7n00ty25La2f3QMZNy3Dn+E3t/Ifc4gda8BjheR2cBrwLuBv+1Viers1LGI3Ar8YTiUPsBLe/ypproyPzSuPvpdwI/M506aVJA2tm/ZwfYnYwBMW+IwdepUs+Y3DMMwSspAU/2z+8vLB1VNisjH8a31Q8DPVfV5Ebk2yL9pKPUXi9qor4gTGiLsggRGfUPdLtIdi3Pv9S8AMOFYIVIpTJ8+fWjCGoZhGMYRUlhXdFmo6n3AfVlpORW+qr6vmLLkR2CCEO8guvtpXtt7AtCOhsJEIpEh1fznX65PH09bKjQ2NhYl6I9hGIZhDEQ+QXrGBds7XsCJtOHhwR5/ZO56vmLuOnfZkOruau/mlXW+6825lzuICMcdd9zQBDYMwzCMo8AUf0BrfDcAx0d6Yg8drp3rHzhD66bVd78IQMMJQqRCmDdvHmVlYzLAoWEYo5yhhOVtbW3lRz/6UTHFMwpAXhpNRM4WkfcHx02Bwd6YIvAPQUOox5DPef5lgCE52FFP2bR6r1/PQmHChAlMKpCxoGEYRqEZSlheU/yjg0EVv4h8Bfgc8IUgKQL8d/9XjE4e2OiP+BFg/0v+4QHf0n/CEIzwWvf4gXgqGsAJCfPnzx+SnIZhGMVk2bJleUULXbFiBRdddFGvtM9//vNs2bKFhQsX5nTpa4wM8jHuuwJYBDwFoKo7RGRseUsAUrsWp9ZGYePdflI4QteZr0OGEI5381P+C0XTPIeZM2cWNMKfYRhjl4duvZk9r2wtaJ2TZs7hvPddM+R6+gvLe9111/Hcc8+xfv36IbdhFI98pvrj6jtKVgAR6T+U0igmtZ3eEYFQhK7yyXgSDvKOfq/9qxt8P0fVU2Hq1KlDltMwDGO46S8srzE6yGco+1sR+U+gXkQ+BFwN/KS4YpWepLQCfvQn9oJLGGffPjj+uLymvfpj76u+NX91TZUZ9BmGkTeFGJkXi/7C8hqjg0FH/Kr6HeAO/Ah6c4H/p6r/UWzBSk1b5FEAJtX7hnexwLmwJF2co7TqdxMeyW6PCccKzTOaCyKnYRjGcPPAAw9wwQUX9EnPFTbXGHnkY9z3j8BGVf2sqn5GVf9cArlKjmg54WQTTeVNKKBJP73zgvOPus6tf/Wt+UWw0b5hGKOCoYTlbWho4KyzzmLBggVm3DeCyWeqvxa4X0QOALcDd6jq7uKKVXpUlYj6U/rd3d096UPw2Ld5nd9NDXPFgvEYhjEquO222wbMv//++/vs38/k17/+daFFMgrMoIpfVb8GfE1ETgHeBTwsIi2q+oaiS1cidh+OEUsqVSGYUFNJ+eb7OHhoGgBVVUdvy7hn+yEAyqvDZs1vGMaY4KqrrhpuEYwhciSL13uAXcB+YEx5oHn1QLDXPixU0gVA+zZfUTfMnHlUde7f0Ub7vgTVU6BpSkNhBDUMwzCMITLoiF9EPoI/0m/CN/L7kKpuKLZgJUeSVGfM6icr60hUVuE0NR1xVarKQ3c8A0D1VKG+vr5AQhqGYRjG0MhnjX8m8ClVXV9kWYaNPV2vESrfiUt1r3Q9iml+VeUvK9ewe0McgPrZYi56DcPIG1Udku8QY3SjKf/xRaTfqX4RSZlsfhvYLiITMz9Fl6yEHIr7TnZmhk7qSWz3DfwaGxvzrkdVeXL106z/jb93v3GeUFZp6/uGYeRHeXk5+/fvL8nD3xh5qCr79++nvLy8qO0MNOL/NXAJsA7fa1/mK6gCc4oo17Aw0ZkG21YTbwvBwQ6kvvuI/gA7Xt3N2v9uBaB8Akw+VZgxY0aRpDUMY6zR3NxMS0sLe/fuHW5R8iYWixVdUY0nysvLaW4urt+XfhW/ql4SfI+5SHwDsuNp3Lg/ERI783V5XxbvjnPPv/mmD+UT4LgL/VG+KX7DMPIlEokwe/boeuSuXLmSRYsWDbcYxhGQjwOfB/JJG814GbNqCriO72zHzdNVr+u6/P6nf0mfp5T+SSeddNRe/wzDMAyjGPQ74heRcqASaBSRCfRM9dcC00ogW8n43frXQCAkEI/Hj/j6p1dtYvezHgAnvNVX9PPnzz8i+wDDMAzDKAUDrfF/GPgUvpJfR4/iPwz8sLhilZaw44DC9BqHsid+woGt9QB5bcOLdXXzxG27AJiyWIhWC8cff7wpfcMwDGNEMtAa//eB74vIJ8ZiUJ5M9unjAFQE/vTjiQo/48QTB7323h+tA6BmOjTOdairq2PatDE1IWIYhmGMIfJx2fsfIrIAOAkoz0j/RTEFKyVxWgE4tvpYALrLJ5GcEiJUWTngdft2trLnpRgAM17fM8VvGIZhGCOVfDz3fQVYjq/47wMuAlYBY0bxAzjxKTRU9XatGxkkQM99/+l755t0iuCEhdNOO23QawzDMAxjOMnH5PwdwAXALlV9P3AqMCZjzFa2bgLAazkEqswcwE//jq0HaNvlAtA0T5g2bRrV1dX9ljcMwzCMkUA+Lnu7VNUTkWTgzW8PY9B5D8CkrpdIxhy0PY6j7QOW/dNPnwNg2umCODLq9t4ahmEY45N8FP9aEakHfoJv3d8OPFlMoYYLQVB/Vx4dl7yl33Idrd10HEgCMGGOcOyxxxIO59OVhmEYhjG85GPc99Hg8CYRWQHUqupfiytWaUn573E9l9QKvQ6wVr/6Hn9JYNLJgogwffr04gpoGIZhGAViIAc+iwfKU9WniiNS6Ukk/bX6sq1/Qr2ekAS5DPXUU156fB8ADXOFU0891SJpGYZhGKOGgUb83x0gT4HzCyzLsHA4luBAZ4JoOYQPvcLel/xQvOHq6pwKvbvTn+Ivq4NIWYi6urqSymsYhmEYQ2EgBz7nlVKQ4eJwV4JQ+U7KwxFwInRUTQP2k1y6NGf5Z1a+AkDDCX7kPRvtG4ZhGKOJfPbxvzdX+lhx4NPafQAnegClFg1W+72yMujHWO/FJ3YDUDdTzEOfYRiGMerIxxQ9c+hbjr+n/ynGiAOfbrcbgLnOebjubSS2tSGux5QpU3KWP7zXL18/sZZoNFoyOQ3DMAyjEORj1f+JzHMRqQN+mU/lInIh8H0gBPxUVa/Lyn8P8LngtB34iKo+k0/dhaYp0UY0tg/vQBQBJuYIydvy4gEAGk4UampqSiyhYRiGYQydowkW3wkcP1ghEQnhR/G7CN/d75UiclJWsZeBc1X1FOAbwM1HIU9BqHIPp487Lr44Z5kNj74GQM1UYdKkSSWRyzAMwzAKST5r/PfSs9XdwVfiv82j7tOBzaq6NajnduAyYEOqgKr+JaP840BzfmIXmX4M9lo2HQSgepJDbW1tKSUyDMMwjIKQzxr/dzKOk8ArqtqSx3XTgVczzluAMwYo/wHgf3NliMg1wDUATU1NrFy5Mo/m82Nzu78nP+km6djlr9l3d3ezbt26XuXUU7oOKxVTknR0xXj44YcLJsNIo729vaB9bOTG+rn4WB8XH+vj4hJrPVDwOvNZ438YIPDTHw6OJ6rqYNLkGjZrjjRE5Dx8xX92PzLcTLAMMHfuXF2+fPlgYudNdcsWeADCoTCx1sBhz9KlZLfR8sIBNrCeSCTMkiULx/RU/8qVK/vcv1F4rJ+Lj/Vx8bE+Li4HdrzG87f9vKB15jPVfw3++nsX4OErdGXwQD0twIyM82ZgR476TwF+ClykqvvzE7tw3PO0v27fGO+ZxHAn91XqO7ccAqBhrsOECRNKI5xhGIZhFJh8pvo/C8xX1X1HWPca4HgRmQ28Brwb+NvMAiJyDHAX8Heq+uIR1l8Q9gUKf7K3d8ByW5/ZA0BZteR05WsYhmEYo4F8FP8WfEv+I0JVkyLyceB+/O18P1fV50Xk2iD/JuD/AQ3AjwIPeElVXXKkbQ2FnQl/LX+Ghugsnw60M2dO38mMQ3u7qGiAxqn1pRTPMAzDMApKPor/C8BfROQJoDuVqKqfHOxCVb0PuC8r7aaM4w8CH8xb2iIgOKhbwSlJ5bUn2wEoq6joVebgrg4SXR6hstz7+w3DMAxjtJCP4v9P4EHgWfw1/jGJAE65Q6JiApKl+DsPxwHfcc9YNuozDMMwxj75KP6kqv5T0SUZJlT9d5mKrp0gdcRPPLFPmfUPbAcgUimUlZWVVD7DMAzDKCT5eO57SESuEZGpIjIx9Sm6ZCXiUGeCEB7hRBup3YYVWSP+toNdADQcU15q8QzDMAyjoOQz4k9Z4n8hIy2f7XwjHtdTdh7uprzOV/huyFfsVVVV6TLxWJL92zsJRW193zAMwxj95OPAZ3YpBBkOVJVI/RocgXh7CDnc1adMvMsFYMIcoa6urtQiGoZhGEZByceBz3tzpavqqA/Lm/SSiJNANELsgL83Pzm1dzjeZx/29/mX1UF9fX2pRTQMwzCMgpLPVP/SjONy4ALgKWDUK/4UZ3Yfi+9jCOLz5/fK6475OxjrZprjHsMwDGP0k89U/ycyz0WkDvhl0SQqITta/an9KYnt/ZZ5fuUuACY2TMBxjiaKsWEYhmGMHI5Gk3UCxxdakOHg/ud3A+A4DvGIv36fyw9/tAYLw2sYhmGMCfJZ47+Xnqh6DnAS8NtiClUqvOC2ysNC63MhAGoyDPg6WoNp/hlCQ0ND6QU0DMMwjAKTzxr/dzKOk8ArqtrSX+HRxAttDwIQQvBjBShOc3M6/6V1/oxApApb3zcMwzDGBP0qfhE5Dpisqg9npZ8jImWquqXo0hWZPe1+FOD37N7AYabQPX8+tRnr+K887wcknHx8ZR+nPoZhGIYxGhlojf8GoC1HeleQN+pZ33IYgCpXiQdBh8vLe7zz7dvuB+1xbLBvGIZhjBEGUvyzVPWv2YmquhaYVTSJSkhZ2L/9+EF/4kNisfRavnpKrD1J/Wxh2vSpwyajYRiGYRSSgRT/QI7px8a8d8VLAKgrAHRe+OZ0VssLB/08DyorK0svm2EYhmEUgYEU/xoR+VB2ooh8AFhXPJFKh5a9AkDXK/57jIZ7TB462/xQvBOPl5xb/AzDMAxjNDKQVf+ngLtF5D30KPolQBS4oshyFZ2NOw/jeWFeH6vA6/JNGSIZIXnXrdgGQLTCIRQKDYeIhmEYhlFw+lX8qrobeL2InAcsCJL/qKoPlkSyIrNpVxsgVIpHW0sFyWnTaJg5s6dAyENC0DjdHPcYhmEYY4d8XPY+BDxUAllKjojLjAO7gHJQTbvk7Wjt5mBLjMpJ0NjYOLxCGoZhGEYBGbfO5zcfWo+EuvAIDPve+EamT58OQOvuTgAqG8Vc9RqGYRhjinGr+P/nmecBeONTHgAaDgXe++CpP28DoGaqKX7DMAxjbDFuFX95xL/1Kj9AH86ZZxIOrPoP7Q1G/E3DIpphGIZhFI18fPWPSQ6V/S+iirulAg2HqQy27MU6Ehza3U2oDJoz/PYbhmGMNlQ1r3xVTX/6u7a/ulSVWCzWb16uOj3P67d+13URkV6y5ZI1mUymy2W2k1lvZjvZZVQV13XT5TLTc8mXqx9SMgxUJvs8n37NTOs8sC+nHENhXCr+WMIlngxTEfRtYu4J1AROejat2QFAw/E2zW+MfXI9kDIfpNmf1AMx14N2sAdY6tx13fR36qHZnxz95fVXNpt4PM62bdsG7YPUvaXOE4kEjuP02w+Z1+WSsT+5UufJZBKg1/0P1Kf5KvChkK3Acim0XHR0dLBmzZq86x0Kqop6Huq5/rcq6ql/rgqpfvQ8vEQcRFDP60lXBQ2Uuqck4zEcJ+THaVUFNPjfryvI8LOCtFTZZPCyI46khMv4yrg2Iy9dJp1PWrbgpE+bqXY6OztbC9WP41LxP739AE7ZTq55PA6E6D7xRI6dNAmAZx7cDkD9bKG+vn74hDSGhVwKDvwRQXZaf8ogpdAyRwO5rkkkErS0tOSsy/M8urq60nnZI5eUTIPJk0wm8Twvpxz9kfmgzj5OXTeUh7mq4rkuEtxD6oGb+eDO/vaSSVJPyvQ9eJpOy3wgBwmgvlLacLi114NXM/J7PehTp24SNxFHnFBQPqUEgodxLnmDuuMd7YTL/V1C6mVfm1neP/Zcj0RnO+HyiqwyXt9rVIkdOki0qqa33Kn7SN9Of/fWXx/k7pfuw4eIVFVn1Z/Rz0F9ruumd0T1KD/tVVdPFX6/JDraCJWVZ/ymMu+Tfvt3vCKhMF7qzbQAjEvFv639RUSUpY/7P9bYOecQjUaJxxK07UkAUFEXTq/5Gz1kK6fUyCU1isv8xOPxXlNx0FtZxePx9AMjkUjknLbLrjezzcz6MssONopMKefBEJF0XZ7n4ThOXgov80GV+SDPHqG0HzrExvVP9aSn7tV1cRPxQDG4JDraccLhnEpBvZ4RTLztMOHyip62PI/Ywf1EKqrSCihbkWQex9sPE4qW+aOkoI60AlOPeNthnFAIJGUalPvBnPnQ76MAgns3+uJEIv7vS4LfWer3l/GtnkfswD4iVTX+RSKkf5Gp32YqLf1bleB//zt3Ws+3CCAO5fUTSXS0E62t61NOMupOukki4UhGfnb7WTKJoK6Ll0wSqaoOimXcZ6p8UJZU2PSg3URXF9HqGsTJ7icnGH0L4ji48W4ilVU587L7NBSNBvcoQfPSz/1k3r8gjuCEw6Q7NvP6jH5O92vW36B3Wta12XU9/Ld9fzRHybjUbK8ebKXxkFIREzQUomzCBKLRKA/+5hkAJp3sj/YdZ+TaPqaUYErxxePxdBr4U5yZeakfTyLhv9h0dXWl7y9bYXd1dfHUU0/heR6u6xKLxXqN9qBn9JdSjqrap796KUDPxU0k0grJH+l5eK4/bZfsjiGkFL8HmaNZ9Uh0duJEIn566qMeiY4OJBTqkS81jaf0GTUlu3yjTQmFe/JSLw6eR+zQQSKVVb3SVD3Udek+3Eq4sqqXskyNODU1Rex5uN251zpLTerhlpItWlUTPOxIP3xFnF4PNRGh6+B+yusnIOIg4bD/LQ44QllNLYmODsonNvQogl4Pp94PxT4PrtRvxXNRhUhlVYby6avkeh74grpJxAn5v4FUXf5Bb4WUldYV66KioqK34sq8vh/lpK5LuKKyR/5M2TLuxb8mle/X778cZSijDKWVfV+FnAYfLtra2qipqRluMYaN/mbIhlpXJsFApWBTHuNS8T+8ZSMfvN9/IHZe/hYmTpxIV0eMjQ/tB6BhrjAz04tfkYjH43R1ddHZ2YmqbyCT+k5N0SYSibQCzhzppsgc3Wa6FlbPw03EfSXr+uthXjKBG4/juS6emyTZ6SvNHiXnK7FYVxeHXngWgO5DrTjhMLFDB/22FDzPRT2Xrv37iFRU9lbWnkeis8OfJs1QiiUnlyJR8JIJwhWViBNKjxgyRwCd+/ZQXjcBHAcJh3AkgjgO4YpK1HX9qc9edWeMOoIRRTLWRVldfY9iFQFHep+rEuvqoqp+QoYM/qhExMFzk0Qqq5FQCCfky+qEwn3rScng+MdOODImlEmhCJdAKeXq73z+BqX6O2Uvzwy0zHMktgJDsSvInE3LJjW7lu0qPfMaEcHzPEKhEKHgxT+XAk7N0mXnpT6p/NSgJTs9u75sUn2QkiFb3v7O8y2bmb53794dOYU4Csal4q9o+zOLt/h/sI7lb2BaVRV33PAYAOX1EI46VFVVHVXdmVPJruvS0dHB4cOH6erqIpFI0NnZSTwe73WNl0zgxmJ0d7SjySReMkH34VbECZHobPdHyq5LrPUAoWiZPxWcjBM/fJhQWRleMkms9QDhsvIeRe/2fUkYCpHKKpKxLioamnylGQpR2dCE5yYpq60PlJsTKFPHV3619UgoSHNCQVpdz0goo7yXTATTfkE9KYXq9FauTiSSri+lMCUUStczmkZRQxkp5Xow5DrPh/4e4LmWSjLb6U+G/mRNHafqSj1c+3to5nuPmQ/ybDo7O5k4ceKA12fXkZmfWu5zHKeXcsiWMTs9131nH6sq4XC4l5LqT5aB+nqgtCP52+RayhpM+YkIjzzyCOecc86A9Y+Wf5MjmUQiER+8VH6MS8W/eMteANwLFkM0ymP3buLwq/7DaPYbHCKRCM8840/7Z68NQ49FbnZerhG5qhI/3ErHvj24sS7ad+9EXZeOPTtJxmJ5Tw2nRqhOOEwkWN8KlZUh4lA+YSIVExtR1yVaU9tr6jtaVdNL+aqbJFpThwRv06Fomf/ASSliETq6OqmuqcUJhXAiUX/qcoTR34M+3wdMpi1ArrzUkkmuUVKu0UPmueu6hMNhPM9LP9hzXdPR0UFNTU2fB33mKEVEKC8v7/VQ7m80k11P5idbjv4Uy2D1jLYH+P79+zn55JOHW4wxz0heFjX6Mu4U/6utrcx+KcaOCZPZUXUah29/AbfbX6udeJzSuhUOZqzjxtvb/JF0hsFUah25+1Brego4GesiGevCCYfx3CRd+/fhJRN4wZp6NhUNTYTLoKppMtXTZvgP+PoJIEKkqhrHCRGuqMQJh0uufONOiLJqfySaqRhSCjH1jzzbyDRbOagqkcBgKZey8jyPaDTaaxSYKp/Ztqqmy6W2WKWmAnO1mTmKyr6HzDpylculgFN5+Rr35cvKlStZvHhxweozDMPIh3Gn+Fv2baW7/DTW1x2EV3oHGtz9zNHVGa6o9Ed6iQSRqirC5RVUTGzETcSJVtVQ0dBIVdMUyuomEKms8rf75El/04mZSjdzDS9TqTqOQ1lZWTotFArheR6RwEAqEon0GgmmPi+++CJz5sxJtxUOh9NlM9fUMpVvpmyGYRjGyGXcKf4V//dTassOAtA0/xIa5jYQijoQbM0gpWglMKIC32DKSRlQ9UyJHy25po/Ly8sJh8OUl5enlWtK0UYiERzHIRwOpz8pRZ5pnFKo6bZt27aZ10LDMIwxSlEVv4hcCHwfCAE/VdXrsvIlyL8Y6ATep6pPDVSnqvL4448fkRyZe8ibV23lMGFEqph57rxsefu7j7zSUlPhmVPXKSorK6muriYSiVBeXk5tbS3RaDQ9IjcMwzCMUlA0xS8iIeCHwBuBFmCNiPxeVTdkFLsIOD74nAH8OPjuF1Wlu7u713l6Kxmur3g1iXq+ty/FRdUFz2P/vt0cTvi3PPnkZQDU1NRQWVlJZWVlv4ZO2d+pNebsafLUCDwcDqenwQu9LmwYhmEYQ6GYI/7Tgc2quhVARG4HLgMyFf9lwC/UHx4/LiL1IjJVVXf2V2ls/17W/ui7OXIG2lPaN2/amfM4+eST+2z1MQzDMIyxTDEV/3Tg1YzzFvqO5nOVmQ70Uvwicg1wDfgGaTev3zRk4fTaa72XXnrp6SFXNDZpBAofEsrIxvq5+FgfFx/r49Iwt1AVFVPx55rfzh5651MGVb0ZuBlARNZu2rRpydDFM/pDRNaqqvVxkbF+Lj7Wx8XH+rg0iMjaQtVVTK8LLcCMjPNmINvlYD5lDMMwDMMoEMVU/GuA40VktohEgXcDv88q83vgveLzOuDQQOv7hmEYhmEMjaJN9atqUkQ+DtyPv53v56r6vIhcG+TfBNyHv5VvM/52vvfnUfXNRRLZ6MH6uDRYPxcf6+PiY31cGgrWzzKUCEuGYRiGYYwuLLKCYRiGYYwjTPEbhmEYxjhiVCl+EblQRDaJyGYR+fxwyzNaEZEZIvKQiGwUkedF5B+C9Iki8mcReSn4npBxzReCft8kIm8ePulHFyISEpGnReQPwbn1cQEJnH7dISIvBL/nM62PC4uI/GPwnHhORG4TkXLr46EjIj8XkT0i8lxG2hH3q4icJiLPBnk/kDxcxY4axZ/hAvgi4CTgShE5aXilGrUkgU+r6jzgdcDHgr78PPCAqh4PPBCcE+S9G5gPXAj8KPh7GIPzD8DGjHPr48LyfWCFqp4InIrf19bHBUJEpgOfBJao6gJ8Q+13Y31cCG7F76NMjqZff4zv4C7l/j67zj6MGsVPhgtgVY0DKRfAxhGiqjtTwZBUtQ3/YTkdvz//Kyj2X8DlwfFlwO2q2q2qL+Pvwji9pEKPQkSkGXgL8NOMZOvjAiEitcAy4GcAqhpX1VasjwtNGKgQkTBQie9rxfp4iKjqI8CBrOQj6lcRmQrUqupjgev7X2Rc0y+jSfH3597XGAIiMgtYBDwBTE75UQi+JwXFrO+PjhuAfwa8jDTr48IxB9gL3BIsp/xURKqwPi4Yqvoa8B1gO74r9UOq+iesj4vFkfbr9OA4O31ARpPiz8u9r5E/IlIN3Al8SlUPD1Q0R5r1/QCIyCXAHlVdl+8lOdKsjwcmDCwGfqyqi4AOgqnRfrA+PkKCNebLgNnANKBKRK4a6JIcadbHQ6e/fj2q/h5Nit/c+xYQEYngK/1fqepdQfLuYOqI4HtPkG59f+ScBVwqItvwl6XOF5H/xvq4kLQALar6RHB+B/6LgPVx4XgD8LKq7lXVBHAX8Hqsj4vFkfZrS3CcnT4go0nx5+MC2MiDwOrzZ8BGVf1eRtbvgb8Pjv8e+F1G+rtFpExEZuMbkDxZKnlHI6r6BVVtVtVZ+L/VB1X1KqyPC4aq7gJeFZFU1LIL8MN+Wx8Xju3A60SkMnhuXIBvE2R9XByOqF+D5YA2EXld8Pd5b8Y1/aOqo+aD7973RWAL8C/DLc9o/QBn408H/RVYH3wuBhrwLUlfCr4nZlzzL0G/bwIuGu57GE0fYDnwh+DY+riwfbsQWBv8lu8BJlgfF7yPvwa8ADwH/BIosz4uSL/ehm83kcAfuX/gaPoVWBL8bbYANxJ45B3oYy57DcMwDGMcMZqm+g3DMAzDGCKm+A3DMAxjHGGK3zAMwzDGEab4DcMwDGMcYYrfMAzDMMYRpvgNowSIiIrIdzPOPyMiXy1Q3beKyDsKUdcg7bwziID3UAHq+ulQg2yJyKzMyGaGYeSHKX7DKA3dwNtEpHG4BcnkCCOnfQD4qKqeN9R2VfWDqrphqPUYhnHkmOI3jNKQBG4G/jE7I3vELiLtwfdyEXlYRH4rIi+KyHUi8h4ReTKIv31sRjVvEJFHg3KXBNeHROR6EVkjIn8VkQ9n1PuQiPwaeDaHPFcG9T8nIt8K0v4fvuOnm0Tk+hzXfDajna8FabNE5AUR+a8g/Q4RqQzyVorIkkDGW4O2nhWRfwzyF4rI48F1dwc+41Oxx58RkceAj2W039+9ThWRR0RkfdDGOUfwNzOMMYkpfsMoHT8E3iMidUdwzanAPwAnA38HnKCqp+OH+v1ERrlZwLn4YYBvEpFy/BH6IVVdCiwFPhS4+wQ/VOq/qGqv6XYRmQZ8Czgf3yveUhG5XFW/ju8h7z2q+tmsa96E70L09OCa00RkWZA9F7hZVU8BDgMfzbq/hcB0VV2gqicDtwTpvwA+F1z3LPCVIP0W4JOqemZWPf3d698C96vqwqAv12MY4xxT/IZRItSPgPgL4JNHcNkaVd2pqt34Ljn/FKQ/i6/sU/xWVT1VfQnYCpwIvAl4r4isxw+73ICvoMH38/1yjvaWAivVD8qSBH6FH/N+IN4UfJ4GngraTrXzqqquDo7/G3/WIJOtwBwR+Q8RuRA4HLwY1avqw0GZ/wKW5Uj/ZZYMue51DfD+wJ7iZFVtG+ReDGPMEx5uAQxjnHEDvnK8JSMtSfASHgTaiGbkdWccexnnHr3//Wb73k6F7PyEqt6fmSEiy/FD2OYiV5jPwRDg31X1P7PamdWPXD0nqgdF5FTgzfhT939DjuWQjHb68zGe814DOZbhz4T8UkSuV9VfDHw7hjG2sRG/YZQQVT0A/BZ/ajrFNuC04PgyIHIUVb9TRJxg3X8OfiCP+4GPiB+CGRE5QUSqBqnnCeBcEWkMDP+uBB4e5Jr7gatFpDpoZ7qITAryjhGR1LT8lcCqzAsDY0dHVe8EvgwsVtVDwMGM9fi/Ax5W1VbgkIikZg3ekyVDn3sVkZnAHlX9CX5EysWD3IthjHlsxG8Ypee7wMczzn8C/E5EnsSPyNXfaHwgNuEr6MnAtaoaE5Gf4i8HPBXMJOwFLh+oElXdKSJfAB7CH0Xfp6oDhvlU1T+JyDzgMb8Z2oGrABc/hOvfi8h/4kcc+3HW5dOBW0QkNQj5QvD99/i2CpX4ywHvD9LfD/xcRDrxlX2K/u51OfBZEUkEcr13oHsxjPGAReczDKMoBFP9f1DVBcMti2EYPdhUv2EYhmGMI2zEbxiGYRjjCBvxG4ZhGMY4whS/YRiGYYwjTPEbhmEYxjjCFL9hGIZhjCNM8RuGYRjGOOL/B6JYYOvSpE9ZAAAAAElFTkSuQmCC\n", "text/plain": [ "
" ] }, "metadata": { "needs_background": "light" }, "output_type": "display_data" } ], "source": [ "fig, ax = plt.subplots(figsize=(8, 4))\n", "for update_ratio_name, update_ratio in update_ratios.items():\n", " plt_cdf(\n", " data=d_update_ratio_name_results[update_ratio_name]['Approval']['n_episodes'],\n", " weights=np.ones(N_SAMPLES) / N_SAMPLES,\n", " n_samples=N_SAMPLES,\n", " data_min=0,\n", " data_max=N_MAX_EPISODES,\n", " label=update_ratios_legend[update_ratio_name]\n", " )\n", "plt.grid(True)\n", "plt.legend()\n", "plt.xlabel('Number of episodes')\n", "plt.ylabel('Cumulative likelihood of occurrence')\n", "plt.xlim(0, N_MAX_EPISODES)\n", "plt.ylim(0, 1.05)\n", "plt.savefig('img/fspeedCV_ballot_update_ratio.png', dpi=600, bbox_inches=\"tight\")" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3 (ipykernel)", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.9.7" }, "toc": { "base_numbering": 1, "nav_menu": {}, "number_sections": true, "sideBar": true, "skip_h1_title": true, "title_cell": "Table of Contents", "title_sidebar": "Contents", "toc_cell": false, "toc_position": {}, "toc_section_display": true, "toc_window_display": false } }, "nbformat": 4, "nbformat_minor": 4 }